#[[
 * Copyright (c) 2024 iSOFT INFRASTRUCTURE SOFTWARE CO., LTD.
 * easyAda is licensed under Mulan PubL v2.
 * You can use this software according to the terms and conditions of the Mulan PubL v2.
 * You may obtain a copy of Mulan PubL v2 at:
 *          http://license.coscl.org.cn/MulanPubL-2.0
 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
 * EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
 * MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
 * See the Mulan PubL v2 for more details.
]]

cmake_minimum_required(VERSION 3.7.2)

declare_platform(qemu_virt PlatformQEMUVirt PLAT_QEMU_VIRT KernelArchARM)

if(PlatformQEMUVirt)
    config_set(UartPl011 UART_PL011 ON)
    config_set(ArmCortexA55 ARCH_CORTEXA55 ON)

    config_choice(
    DriverGic
    DRIVER_GIC
    "select the gic version"
    "gicv2;DriverGicV2;DRIVERS_GIC_V2"
    "gicv3;DriverGicV3;DRIVERS_GIC_V3"
)
endif()

add_sources(
    DEP "PlatformQEMUVirt"
    CFILES 
        kernel/plat/qemu_virt/device.c
)

